Lower Bound for Evaluation of mu-nu Fixpoint
نویسنده
چکیده
We consider a fixpoint expressions μy.νx. f (x,y) over the lattice {0,1}n, where f : {0,1}2n → {0,1}n is any monotone function. We study only algorithms for calculating these expressions using f only as a black-box: they may only ask for the value of f for given arguments. We show that any such algorithm has to do at least about n2 queries to the function f , namely Ω ( n2 logn ) queries.
منابع مشابه
بررسی نرخ شیوع اعتیاد به اینترنت در دختران و مقایسه دختران معتاد و غیر معتاد به اینترنت در متغیرهای تنهایی ، عزت نفس و مهارتهای اجتماعی
The current study attempts to investigate the prevallence of Internet addiction among high-school girls in Tehran. Another goal is to determine if female Internet addicts in Tehran show the same problems as addicts in other countries, such as more loneliness, and lower self-esteem and social skills. A total of 939 high-school girls in three grades and three fields from five areas of Tehran were...
متن کاملMolecular dynamics of a grid-mounted molecular dipolar rotor in a rotating electric field.
Classical molecular dynamics is applied to the rotation of a dipolar molecular rotor mounted on a square grid and driven by rotating electric field E(nu) at T approximately 150 K. The rotor is a complex of Re with two substituted o-phenanthrolines, one positively and one negatively charged, attached to an axial position of Rh(2)(4+) in a [2]staffanedicarboxylate grid through 2-(3-cyanobicyclo[1...
متن کاملDisjunctive bases: normal forms and model theory for modal logics
We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the proof of a generic completeness theorem for coalgebraic mu-calculi. Believing the concept has a much wider significance, here we investigate it m...
متن کاملLimit on the electron neutrino magnetic moment from the kuo-sheng reactor neutrino experiment.
A search of neutrino magnetic moment was carried out at the Kuo-Sheng Nuclear Power Station at a distance of 28 m from the 2.9 GW reactor core. With a high purity germanium detector of mass 1.06 kg surrounded by scintillating NaI(Tl) and CsI(Tl) crystals as anti-Compton detectors, a detection threshold of 5 keV and a background level of 1 kg(-1) keV(-1) day(-1) at 12-60 keV were achieved. Based...
متن کاملHeuristic approach to solve hybrid flow shop scheduling problem with unrelated parallel machines
In hybrid flow shop scheduling problem (HFS) with unrelated parallel machines, a set of n jobs are processed on k machines. A mixed integer linear programming (MILP) model for the HFS scheduling problems with unrelated parallel machines has been proposed to minimize the maximum completion time (makespan). Since the problem is shown to be NP-complete, it is necessary to use heuristic methods to ...
متن کامل